category theory
category
functor
natural transformation
Cat
universal construction
representable functor
adjoint functor
limit/colimit
weighted limit
end/coend
Kan extension
Yoneda lemma
Isbell duality
Grothendieck construction
adjoint functor theorem
monadicity theorem
adjoint lifting theorem
Tannaka duality
Gabriel-Ulmer duality
small object argument
Freyd-Mitchell embedding theorem
relation between type theory and category theory
sheaf and topos theory
enriched category theory
higher category theory
Edit this sidebar
The Category Theory Octoberfest (usually simply called Octoberfest) is an annual conference on category theory, held in October.
Category Theory conference
Peripatetic Seminar on Sheaves and Logic
events of interest for the working category theorist
Created on October 29, 2023 at 13:04:19. See the history of this page for a list of all contributions to it.